Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

add support for gone links #48067

Merged
merged 1 commit into from
Sep 17, 2024
Merged

add support for gone links #48067

merged 1 commit into from
Sep 17, 2024

Conversation

jkarneges
Copy link
Member

This introduces a way to send notifications when HTTP subscribers disconnect. Backends can supply a gone link in a response header:

Grip-Hold: stream
Grip-Channel: foo
Grip-Link: </disconnect/1234>; rel=gone

When the client disconnects for any reason, Pushpin will make a POST request to the specified URL with an empty body. It will expect an empty response. The notification is best-effort: if the request fails for any reason, it will not be retried. It is also not guaranteed to occur, for example if Pushpin is shut down while clients are connected.

@jkarneges jkarneges marked this pull request as ready for review September 11, 2024 18:29
@jkarneges jkarneges merged commit c5a9b0c into main Sep 17, 2024
19 checks passed
@jkarneges jkarneges deleted the jkarneges/disconnect-event branch September 17, 2024 17:43
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants